Language/OS - Multiplatform Resource Library/LANGUAGE OS.iso/t3_1/tman.lha/tman/semantics.aux

Latex Auxiliary File | 1990-10-02 | 1KB | 35 lines

\relax
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {2}Syntax and semantics}{17}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{chapter:semantics}{{2}{17}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.1}External representation}{17}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.2}Core language}{18}}
\newlabel{section:coreLanguage}{{2.2}{18}}
\newlabel{CallSemantics}{{2.2}{18}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.3}The standard environment}{18}}
\newlabel{section:standardEnvironment}{{2.3}{18}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.4}Undefined}{19}}
\newlabel{section:undefinedSemantics}{{2.4}{19}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.5}Multiple values}{19}}
\newlabel{section:multipleValues}{{2.5}{19}}
\global\@namedef{cp@semantics}{
\setcounter{page}{20}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{5}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
}